Results for 'Devorah R. Karp'

949 found
Order:
  1.  65
    The phasmid and the twig.Tobie Nathan & Devorah R. Karp - 2004 - Common Knowledge 10 (3):518-531.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  29
    Independence proofs in predicate logic with infinitely long expressions.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):171-188.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3.  43
    Twenty-eighth annual meeting of the association for symbolic logic.Carol R. Karp - 1963 - Journal of Symbolic Logic 28 (4):297-308.
  4.  69
    Pierce R. S.. A generalization of atomic Boolean algebras. Pacific journal of mathematics, vol. 9 , pp. 175–182.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  5. Novel sequence feature variant type analysis of the HLA genetic association in systemic sclerosis.R. Karp David, Marthandan Nishanth, G. E. Marsh Steven, Ahn Chul, C. Arnett Frank, S. DeLuca David, D. Diehl Alexander, Dunivin Raymond, Eilbeck Karen, Feolo Michael & Barry Smith - 2009 - Human Molecular Genetics 19 (4):707-719.
    Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  21
    Review: J. Slominski, Theory of Models with Infinitary Operations and Relations. [REVIEW]Carol R. Karp - 1966 - Journal of Symbolic Logic 31 (1):131-131.
  7.  37
    Abraham Robinson. Introduction to model theory and to the metamathematics of algebra. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1963, IX + 284 pp. [REVIEW]Carol R. Karp - 1964 - Journal of Symbolic Logic 29 (1):56.
  8.  44
    Bernays Paul. Über eine natürliche Erweiterung des Relationenkalkus. Constructivity in Mathematics, Proceedings of the Colloquium held at Amsterdam, 1957, edited by Heyting A.. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 1–14. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):234-234.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  9.  20
    Chang C. C.. On the representation of α-complete Boolean algebras. Transactions of the American Mathematical Society, vol. 85 , pp. 208–218. [REVIEW]Carol R. Karp - 1965 - Journal of Symbolic Logic 30 (2):252-252.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  37
    Monk Donald. On the representation theory for cylindric algebras. Pacific journal of mathematics, vol. 11 , pp. 1447–1457. [REVIEW]Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (2):233-234.
  11.  70
    A randomised controlled trial of an Intervention to Improve Compliance with the ARRIVE guidelines (IICARus).Ezgi Tanriver-Ayder, Laura J. Gray, Sarah K. McCann, Ian M. Devonshire, Leigh O’Connor, Zeinab Ammar, Sarah Corke, Mahmoud Warda, Evandro Araújo De-Souza, Paolo Roncon, Edward Christopher, Ryan Cheyne, Daniel Baker, Emily Wheater, Marco Cascella, Savannah A. Lynn, Emmanuel Charbonney, Kamil Laban, Cilene Lino de Oliveira, Julija Baginskaite, Joanne Storey, David Ewart Henshall, Ahmed Nazzal, Privjyot Jheeta, Arianna Rinaldi, Teja Gregorc, Anthony Shek, Jennifer Freymann, Natasha A. Karp, Terence J. Quinn, Victor Jones, Kimberley Elaine Wever, Klara Zsofia Gerlei, Mona Hosh, Victoria Hohendorf, Monica Dingwall, Timm Konold, Katrina Blazek, Sarah Antar, Daniel-Cosmin Marcu, Alexandra Bannach-Brown, Paula Grill, Zsanett Bahor, Gillian L. Currie, Fala Cramond, Rosie Moreland, Chris Sena, Jing Liao, Michelle Dohm, Gina Alvino, Alejandra Clark, Gavin Morrison, Catriona MacCallum, Cadi Irvine, Philip Bath, David Howells, Malcolm R. Macleod, Kaitlyn Hair & Emily S. Sena - 2019 - Research Integrity and Peer Review 4 (1).
    BackgroundThe ARRIVE (Animal Research: Reporting of In Vivo Experiments) guidelines are widely endorsed but compliance is limited. We sought to determine whether journal-requested completion of an ARRIVE checklist improves full compliance with the guidelines.MethodsIn a randomised controlled trial, manuscripts reporting in vivo animal research submitted to PLOS ONE (March–June 2015) were randomly allocated to either requested completion of an ARRIVE checklist or current standard practice. Authors, academic editors, and peer reviewers were blinded to group allocation. Trained reviewers performed outcome adjudication (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  40
    S. Feferman and R. L. Vaught. The first order properties of products of algebraic systems. Fundamenta mathematicae, vol, 47 , pp. 57–103. [REVIEW]Carol Karp - 1967 - Journal of Symbolic Logic 32 (2):276.
  13.  19
    Medieval Medical Miniatures. Peter Murray JonesArs Medica: Art, Medicine, and the Human Condition. Diane R. Karp.Karen Reeds - 1986 - Isis 77 (4):688-690.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  87
    L. Henkin. Some remarks on infinitely long formulas. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2-9 September 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 167–183. - Carol R. Karp. Independence proofs in predicate logic with infinitely long expressions. The journal of symbolic logic, vol. 27 no. 2 , pp. 171–188. [REVIEW]Thomas Frayne - 1965 - Journal of Symbolic Logic 30 (1):96-97.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  16
    Saeculum: Gedenkschrift für Heinrich Otten anlässlich seines 100. Geburtstags. Edited by Andreas Müller-Karpe; Elisabeth Rieken; and Walter Sommerfeld.Richard S. Beale - 2021 - Journal of the American Oriental Society 138 (4).
    Saeculum: Gedenkschrift für Heinrich Otten anlässlich seines 100. Geburtstags. Edited by Andreas Müller-Karpe; Elisabeth Rieken; and Walter Sommerfeld. Studien zu den Boǧazköy-Texten, vol. 58. Wiesbaden: Harrassowitz Verlag, 2015. Pp. xi + 316, illus. €84.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  62
    Karp Carol R.. Finite-quantifier equivalence. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by Addison J. W., Henkin Leon, and Tarski Alfred, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 407–412. [REVIEW]H. Jerome Keisler - 1971 - Journal of Symbolic Logic 36 (1):158.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17.  60
    Paul Roth J. and Karp R. M.. Minimization over Boolean graphs. IBM journal of research and development, vol. 6 , pp. 227–238. [REVIEW]Paweł Szeptycki - 1962 - Journal of Symbolic Logic 27 (2):252-252.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18. Sefer Matnat Ḥayim: ʻal ha-sefer Tomer Devorah le-Rabenu Mosheh Ḳordoṿero, zatsal: śiḥot she-neʼemru be-ṿaʻad li-melamde t. sh. b.r.Matityahu Ḥayim Salomon - 2013 - Yerushalayim: [Yaʻaḳov Ḥayim Dinḳel]. Edited by Yaʻaḳov Ḥayim Dinḳel & Moses ben Jacob Cordovero.
     
    Export citation  
     
    Bookmark  
  19.  85
    Moral Relativity.R. A. Duff - 1986 - Philosophical Quarterly 36 (142):99-101.
  20.  49
    IV*—Leibniz's Reaction to Cartesian Interaction.R. S. Woolhouse - 1986 - Proceedings of the Aristotelian Society 86 (1):69-82.
    R. S. Woolhouse; IV*—Leibniz's Reaction to Cartesian Interaction, Proceedings of the Aristotelian Society, Volume 86, Issue 1, 1 June 1986, Pages 69–82, https:/.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  24
    Birth order and intellectual development.R. B. Zajonc & Gregory B. Markus - 1975 - Psychological Review 82 (1):74-88.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  22.  25
    Processing of the unattended message during selective dichotic listening.R. Näätänen - 1986 - Behavioral and Brain Sciences 9 (1):43-44.
  23.  37
    First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.
    We generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic. We first study FML-definable frames and give a version of the Goldblatt–Thomason theorem for this logic. The advantage of this result, compared with the original Goldblatt–Thomason theorem, is that it does not need the condition of ultrafilter reflection and uses only closure under bounded morphic images, generated subframes and disjoint unions. We then investigate Lindström type theorems for first-order modal logic. We show that FML has (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  24.  49
    The Metaphysics of Representation: Précis By J.R.G. Williams.J. R. G. Williams - 2021 - Analysis 81 (3):499-501.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  27
    A Functionalist Analysis of Game Acts: Revisiting Searle.R. Scott Kretchmar - 2001 - Journal of the Philosophy of Sport 28 (2):160-172.
  26. Constructing Normativity.R. Jay Wallace - 2004 - Philosophical Topics 32 (1-2):451-476.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27. The New Biology: Discovering the Wisdom in Nature.R. AUGROS - 1987
    No categories
     
    Export citation  
     
    Bookmark   6 citations  
  28. Animal Flourishing: What Virtue Requires of Human Animals.R. Walker - 2007 - In Rebecca L. Walker & Philip J. Ivanhoe (eds.), Working virtue: virtue ethics and contemporary moral problems. New York: Oxford University Press. pp. 173--189.
     
    Export citation  
     
    Bookmark   3 citations  
  29. Reconstructing Constructionism.R. Noss & J. Clayson - 2015 - Constructivist Foundations 10 (3):285-288.
    Upshot: Constructionism must return to its epistemological roots to make any lasting impact on education. Constructionism should be transformed from a framework of action into ways to conceptualize and record what people actually do in constructionist environments so that theories of knowledge-building acts can be tested and the designing of those environments can be made more effective.
     
    Export citation  
     
    Bookmark   2 citations  
  30.  53
    Does Christianity Make a Difference?R. A. McCormick - 1995 - Christian Bioethics 1 (1):97-101.
    The human person makes great demands on the physician and calls for unique attention. Hence the doctor-patient relationship calls for the highest ideals of kindness, patience, trustworthiness, generosity and skill. The Catholic physician brings to these demands a specific meaning: ministering to the sick is to see Christ in them and to show Him to them.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  31. Aesthetic concepts.R. Meager - 1970 - British Journal of Aesthetics 10 (4):303-322.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  32.  38
    Galileo's theory of motion: Processes of conceptual change in the period 1604–1610.R. H. Naylor - 1977 - Annals of Science 34 (4):365-392.
    Summary One aim of this paper is to provide an assessment of the recent attempts to interpret the development of Galileo's theory of motion in the late Paduan period 1604?1610. In addition to this a new interpretation of this process of development is advanced. This interpretation is the first that proves able to provide a full account of all the features on folio 152r of volume 72 of the Galilean manuscripts which has been claimed to be of crucial significance. The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  33. Contacts of Continents: the Silk Road.R. J. Zwi Werblowsky - 1988 - Diogenes 36 (144):52-64.
    The problems and the history of contacts between distant continents in bygone ages and long before the age of fast and easy travel, have always fascinated both professional scholars and the interested public. Was ancient history really nothing but the history of co-existing and isolated geographic, cultural and political “islands?” Already at school we learned too much about migrations of peoples, economic contacts, influences on art styles, conquests, and the rise, expansion and fall of empires to believe that. The (highly (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  64
    Believing in a Fiction: Wallace Stevens at the Limits of Phenomenology.R. D. Ackerman - 1979 - Philosophy and Literature 3 (1):79-90.
    In lieu of an abstract, here is a brief excerpt of the content:R. D. Ackerman BELIEVING IN A FICTION: WALLACE STEVENS AT THE LIMITS OF PHENOMENOLOGY The "ring of men" of "Sunday Morning" will chant their "devotion to the sun, / Not as a god, but as a god might be, / Naked among them, like a savage source" (CP, pp. 69-70).' Solar nakedness is deferred even as it is named. The problem for belief is the question of appearance and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  7
    The Dialogues of Plato, Volume 4: Plato’s Parmenides, Revised Edition.R. Allen (ed.) - 1984 - Yale University Press.
    Among Plato's later dialogues, the _Parmenides_ is one of the most significant. Not only a document of profound philosophical importance in its own right, it also contributes to the understanding of Platonic dialogues that followed it, and it exhibits the foundations of the physics and ontology that Aristotle offered in his _Physics_ and _Metaphysics _VII. In this book, R.E. Allen provides a superb translation of the _Parmenides_ along with a structural analysis that procedes on the assumption that formal elements, logical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  37
    A reply to professor Yolton.R. S. Woolhouse - 1975 - Journal of the History of Philosophy 13 (4):512-515.
  37.  19
    Confirmation and confirmability.R. S. Woolhouse - 1975 - Philosophical Books 16 (2):27-29.
  38.  78
    Locke's idea of spatial extension.R. S. Woolhouse - 1970 - Journal of the History of Philosophy 8 (3):313-318.
  39. (3 other versions)Leibniz: Metaphysics and Philosophy of Science.R. S. Woolhouse - 1982 - Studia Leibnitiana 14 (1):144-147.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Louise Marcil-Lacoste, Claude Buffier and Thomas Reid: Two Common-Sense Philosophers Reviewed by.R. S. Woolhouse - 1984 - Philosophy in Review 4 (1):29-31.
     
    Export citation  
     
    Bookmark  
  41. Leibniz's 'New System', 1695.R. S. Woolhouse (ed.) - 1996 - Leo S. Olschki.
     
    Export citation  
     
    Bookmark  
  42.  10
    Philosophy, its History and Historiography.R. S. Woolhouse - 1987 - Philosophical Books 28 (1):26-28.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Taming the killers.R. Woodbury - 1993 - In Jonathan Westphal & Carl Avren Levenson (eds.), Time. Indianapolis: Hackett Pub. Co.. pp. 58--59.
     
    Export citation  
     
    Bookmark   1 citation  
  44.  20
    The yield curve and the compressive strength of polycrystalline graphite.R. L. Woolley - 1965 - Philosophical Magazine 11 (112):799-807.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  32
    Aristophanes, Birds, 995–1009.R. E. Wycherley - 1937 - Classical Quarterly 31 (1):22-31.
    Amongst the people who pester Peisthetaerus with unwanted help and advice in the latter part of the Birds is Meton, famous astronomer and mathematician, who produces and demonstrates with instruments a method of laying out the plan of the new town. Peisthetaerus makes no attempt to follow him and quickly bundles him out again without much ceremony. Commentators and readers with few exceptions treat him in a similar way. ʹΕπίτηδες δανόητα, δόλου νοηταίνε, παίζε—such are the comments of the scholiast, and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  26
    Sequential concept formation, hypothesis testing, and the PRE effect.R. A. Yaroush - 1975 - Bulletin of the Psychonomic Society 6 (1):83-86.
  47.  34
    Catholic Science Fiction and the Comic Apocalypse.R. V. Young - 1988 - Renascence 40 (2):95-110.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  54
    Love, Poetry, and John Donne in the Love Poetry of John Donne.R. V. Young - 2000 - Renascence 52 (4):251-273.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  11
    Kur'an Ve Hadislerde Gençlik Dönemi Özellikleri.Şuayip Özdemi̇r - 2014 - Journal of Turkish Studies 9 (Volume 9 Issue 2):1215-1215.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  16
    Uluslararasi Helal ürün ekonomi̇si̇ sempozyumu.Merve Özdemi̇r - 2015 - Sakarya Üniversitesi İlahiyat Fakültesi Dergisi 17 (31):227-227.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 949